Synchronization --Not Named--

Transitions--Not Named----Not Named----Not Named--